محیطی برای تولید برنامه از توصیف صوری

Authors

  • آرش جلالی دانشکده‌ی مهندسی کامپیوتر، دانشگاه صنعتی شریف
  • سیدحسن میریان حسین آبادی دانشکده‌ی مهندسی کامپیوتر، دانشگاه صنعتی شریف
Abstract:

This article doesn't have abstract

Upgrade to premium to download articles

Sign up to access the full text

Already have an account?login

similar resources

معنا در شعر عربی: از توصیف تا تولید

 معنا همچون فرم در شکل­گیری متن شعر و ادبیّت آن نقش بسزا دارد؛ با این تفاوت که در شعر مدرن نقش معنا و ابداع در آن، از اهمیت بیشتری برخوردار است و ابداع معنایی شاعر نیز زمینة گسترده‌تری دارد. نگارنده در مقالة پیش­ رو به دنبال تحلیل نقش معنا در تمایز متن شعر از متون غیر ادبی است و در این زمینه سعی داشته است به صورت مقایسه­ای معنای وصفی (اغراض شعری) و تولید معنا (معناسازی شاعر) را تحلیل کند. مقالة ...

full text

ارائه یک چارچوب صوری برای توصیف پیکربندی پویای سیستم های تطبیقی

در این پایان نامه یک چارچوب صوری برای توصیف پیکربندی سیستم ارائه گردیده است تا از تغییر پیکربندی پویا جهت رسیدن به سیستمی تطبیقی پشتیبانی شود. جهت رسیدن به این هدف‏، در ابتدا شالوده ی سیستم با زبانی صوری توصیف می شود و سپس یک مدل ریاضی وار به نام آداپتور بر پایه قرارداد تطابق و معماری سیستم بنا می گردد. آداپتورها پیکربندی های سیستم را بر عهده می گیرند و جهت رسیدن به تطابقی تاثیر گذار‏، هنگام نی...

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}


Journal title

volume دوره 19  issue 25 - ویژه علوم و مهندسی

pages  42- 53

publication date 2003-09-23

By following a journal you will be notified via email when a new issue of this journal is published.

Keywords

-

Hosted on Doprax cloud platform doprax.com

copyright © 2015-2023